51![The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon](https://www.pdfsearch.io/img/506a72f35c4daee1ed432deeabe74601.jpg) | Add to Reading ListSource URL: dream.inf.ed.ac.ukLanguage: English - Date: 2010-07-11 12:18:50
|
---|
52![Microsoft PowerPoint - lecture_Yop_spring05v2.ppt Microsoft PowerPoint - lecture_Yop_spring05v2.ppt](https://www.pdfsearch.io/img/0daae141bb823cacdfcc4477551e232e.jpg) | Add to Reading ListSource URL: sicp.csail.mit.eduLanguage: English - Date: 2005-12-13 08:49:07
|
---|
53![Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA) Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA)](https://www.pdfsearch.io/img/96e51731c5c43ea596644db7caaaa01f.jpg) | Add to Reading ListSource URL: www.klomp.orgLanguage: English - Date: 2015-01-25 16:44:17
|
---|
54![A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS) A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS)](https://www.pdfsearch.io/img/550671e52f80922fc0e847da1f454f71.jpg) | Add to Reading ListSource URL: www.nada.kth.seLanguage: English - Date: 2012-05-30 08:38:02
|
---|
55![Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if](https://www.pdfsearch.io/img/22067c55365afa6bdff81f4bc405d9b3.jpg) | Add to Reading ListSource URL: community.haskell.orgLanguage: English - Date: 2013-10-12 04:58:09
|
---|
56![A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009](https://www.pdfsearch.io/img/e39d8a997cc0c7de9b7c976fa56c9313.jpg) | Add to Reading ListSource URL: www.paultaylor.euLanguage: English - Date: 2009-08-10 10:52:15
|
---|
57![Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert](https://www.pdfsearch.io/img/aed6ac8500ddfd956b1373738c696304.jpg) | Add to Reading ListSource URL: st.inf.tu-dresden.deLanguage: English - Date: 2012-09-25 06:20:13
|
---|
58![The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2](https://www.pdfsearch.io/img/1b02fe5ba81dc8e49bb0108b1c1c513b.jpg) | Add to Reading ListSource URL: www.wischik.comLanguage: English - Date: 2002-09-03 06:29:14
|
---|
59![Inverse Problems and Imaging doi:ipiVolume 3, No. 4, 2009, 599–624 Inverse Problems and Imaging doi:ipiVolume 3, No. 4, 2009, 599–624](https://www.pdfsearch.io/img/60773c6ed21e0fefea5c80feeced868b.jpg) | Add to Reading ListSource URL: www.siltanen-research.netLanguage: English - Date: 2016-05-04 08:49:38
|
---|
60![Computing Fundamentals Functions Salvatore Filippone–2015 Computing Fundamentals Functions Salvatore Filippone–2015](https://www.pdfsearch.io/img/36e3f661bf04e2dfa89b478c352a9cf5.jpg) | Add to Reading ListSource URL: people.uniroma2.itLanguage: English - Date: 2015-04-09 11:32:40
|
---|